#define VDSO_TEXT_OFFSET 0x600
